Exercise logic.propositional.consequence
Description
Prove that formula is a logical consequence of a set of formulas
| Code | logic.propositional.consequence |
| Status | Experimental |
| Strategy | consequence |
| Rules | 36 |
| Buggy rules | 0 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | no |
| Examples | 24 |